λ-supermodular functions and dual packing theory
نویسنده
چکیده
The main usage of supermodular functions is to cross out tight sets, that is to use only the following important property. The intersection and the union of two sets with a maximal function value also have maximal function value. But for this purpose we do not need the full strength of supermodularity, some weaker concept suffices. We introduce here a new property, the so called λsupermodularity. A set function f is λ-supermodular if for any sets X and Y there is number 0 < λ ≤ 2 such that f(X) + f(Y ) ≤ λ · f(X ∩ Y ) + (2− λ) · f(X ∪ Y ). Function f is strongly λ-supermodular if we always find a λ < 2 and weakly if sometimes λ = 2 is needed. Clearly, if f is strongly λ-supermodular and X and Y are sets with f(X) = f(Y ) =maximum (called usually tight sets), then X ∩ Y and X ∪ Y are also tight. If f is weakly λ-supermodular then we may only conclude that the intersection is tight, however, for many purposes, this fact is enough. We show several examples on how to use λ-supermodularity related to duals of packings (called barriers). The first and simplest example specializes to the case of star-packings, induced-star packings and long path packing. More and more complicated versions are developed for propeller packings, f -factors and “even factors”.
منابع مشابه
Group Strategyproofness and No Subsidy via LP-Duality
We make two contributions to cooperative game theory, both of which rely heavily on linear programming duality theory. First, we introduce a fairness criterion on service providers, which we call No Subsidy. This condition ensures that a subset of the users is not overcharged in order to subsidize another set of users. We completely characterize cost functions that allow cost sharing mechanisms...
متن کاملA q-analogue of the FKG inequality and some applications
Let L be a finite distributive lattice and μ : L → R a logsupermodular function. For functions k : L → R let Eμ(k; q) def = ∑ x∈L k(x)μ(x)q ∈ R[q]. We prove for any pair g, h : L → R of monotonely increasing functions, that Eμ(g; q) ·Eμ(h; q) ≪ Eμ(1; q) · Eμ(gh; q), where “≪ ” denotes coefficientwise inequality of real polynomials. The FKG inequality of Fortuin, Kasteleyn and Ginibre (1971) is ...
متن کاملAbstract Interpretation of Supermodular Games
Supermodular games find significant applications in a variety of models, especially in operations research and economic applications of noncooperative game theory, and feature pure strategy Nash equilibria characterized as fixed points of multivalued functions on complete lattices. Pure strategy Nash equilibria of supermodular games are here approximated by resorting to the theory of abstract i...
متن کاملMATHEMATICAL ENGINEERING TECHNICAL REPORTS Cones of Elementary Imsets and Supermodular Functions: a Review and Some New Results
The METR technical reports are published as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and c...
متن کاملGreed is Still Good: Maximizing Monotone Submodular+Supermodular Functions
We analyze the performance of the greedy algorithm, and also a discrete semi-gradient based algorithm, for maximizing the sum of a suBmodular and suPermodular (BP) function (both of which are non-negative monotone non-decreasing) under two types of constraints, either a cardinality constraint or p ≥ 1 matroid independence constraints. These problems occur naturally in several real-world applica...
متن کامل